Jianqi Huang: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A User-Friendly Verification Approach for IEC 61131-3 PLC Programs

Xiong, Jiawen, Zhu, Gang, Huang, Yanhong, Shi, Jianqi

Journal:

Year:

2020

File:

PDF, 586 KB

2020

2

A deep convolution generative adversarial networks based fuzzing framework for industry control protocols

Lv, Wanyou, Xiong, Jiawen, Shi, Jianqi, Huang, Yanhong, Qin, Shengchao

Journal:

Journal of Intelligent Manufacturing

Year:

2020

File:

PDF, 1.24 MB

2020

3

[IEEE 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) - Xi'an, China (2019.4.22-2019.4.27)] 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) - SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective

Zhao, Hui, Li, Zhihui, Wei, Hansheng, Shi, Jianqi, Huang, Yanhong

Year:

2019

Language:

english

File:

PDF, 36 KB

english, 2019

4

Combining chlorination and sulfuration strategies for high-performance all-small-molecule organic solar cells

Zhou, Ruimin, Yang, Chen, Zou, Wenjun, Abdullah Adil, Muhammad, Li, Huan, Lv, Min, Huang, Ziyun, Lv, Menglan, Zhang, Jianqi, Lu, Kun, Wei, Zhixiang

Journal:

Journal of Energy Chemistry

Year:

2021

File:

PDF, 2.79 MB

2021

5

Safety Verification of IEC 61131-3 ST Programs

XIONG, Jiawen, Bu, Xiangxing, Huang, Yanhong, Shi, Jianqi, HE, WeiGang

Journal:

IEEE Transactions on Industrial Informatics

Year:

2020

File:

PDF, 2.08 MB

2020

6

Polynomial-type Lyapunov-Krasovskii functional and Jacobi-Bessel inequality: Further results on stability analysis of time-delay systems

Huang, Yi-Bo, He, Yong, An, Jianqi, Wu, Min

Journal:

IEEE Transactions on Automatic Control

Year:

2020

File:

PDF, 162 KB

2020

7

Physical pretreatment of petroleum refinery wastewater instead of chemicals addition for collaborative removal of oil and suspended solids

Sun, Yuxiao, Liu, Yi, Chen, Jianqi, Huang, Yuan, Lu, Hao, Yuan, Wei, Yang, Qiang, Hu, Jiandong, Yu, Bichuan, Wang, Dun, Xu, Weinan, Wang, Hualin

Journal:

Journal of Cleaner Production

Year:

2021

File:

PDF, 2.65 MB

2021

8

Anisotropic characteristics of a-plane GaN films grown on γ-LiAlO2 (3 0 2) substrates by MOCVD

Tingting Jia, Shengming Zhou, Hao Teng, Hui Lin, Jun Wang, Jianqi Liu, Yongxin Qiu, Jun Huang, Kai Huang, Feng Bao, Ke Xu

Journal:

Applied Surface Science

Year:

2010

Language:

english

File:

PDF, 699 KB

english, 2010

9

Monodispersed hard carbon spherules as a catalyst support for the electrooxidation of methanol

Ruizhi Yang, Xinping Qiu, Huairuo Zhang, Jianqi Li, Wentao Zhu, Zhaoxiang Wang, Xuejie Huang, Liquan Chen

Journal:

Year:

2005

Language:

english

File:

PDF, 450 KB

english, 2005

10

[IEEE 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Xi'an, China (2011.08.29-2011.08.31)] 2011 Fifth International Conference on Theoretical Aspects of Software Engineering - Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP

Huang, Yanhong, Zhao, Yongxin, Zhu, Longfei, Li, Qin, Zhu, Huibiao, Shi, Jianqi

Year:

2011

Language:

english

File:

PDF, 268 KB

english, 2011

11

GPU-based high-precision real-time radiometric rendering for IR scene generation

Huang, Xi, Zhang, Jianqi, Zhang, Shaoze, Wu, Xin

Journal:

Infrared Physics & Technology

Year:

2014

Language:

english

File:

PDF, 655 KB

english, 2014

12

[IEEE Digital Processing Applications (TENCON '96) - Perth, WA, Australia (26-29 Nov. 1996)] Proceedings of Digital Processing Applications (TENCON '96) - A practical data compression system for map images

Yining Ou,, Jianqi Huang,, Yinglin Yu,

Year:

1996

Language:

english

File:

PDF, 379 KB

english, 1996

13

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System

Shi, Jianqi, Zhu, Longfei, Huang, Yanhong, Guo, Jian, Zhu, Huibiao, Fang, Huixing, Ye, Xin

Year:

2012

Language:

english

File:

PDF, 216 KB

english, 2012

14

Thermal Stability and Degradation Kinetics of Poly(Methyl Methacrylate)/Sepiolite Nanocomposites by Direct Melt Compounding

Huang, Nianhua, Chen, Zhijun, Liu, Hao, Wang, Jianqi

Journal:

Journal of Macromolecular Science Part B

Year:

2013

Language:

english

File:

PDF, 693 KB

english, 2013

15

Real-time mid-wavelength infrared scene rendering with a feasible BRDF model

Wu, Xin, Zhang, Jianqi, Chen, Yang, Huang, Xi

Journal:

Infrared Physics & Technology

Year:

2015

Language:

english

File:

PDF, 2.70 MB

english, 2015

16

Multi-layer three-dimensionally ordered Bismuth trioxide/Titanium dioxide nanocomposite: Synthesis and enhanced photocatalytic activity

Li, Li, Huang, Xiandan, Zhang, Jianqi, Zhang, Wenzhi, Ma, Fengyan, Xiao, Zhixin, Gai, Shuang, Wang, Dandan, Li, Na

Journal:

Journal of Colloid and Interface Science

Year:

2015

Language:

english

File:

PDF, 1.70 MB

english, 2015

17

The Application of Artificial Neural Network (ANN) Technique to Formulation Design of Flame Retardant Polymers. I. Intumescent Flame Retardant PA-66 Composites

XIA, JUNTAO, XIAO, CHONGWEI, WANG, JIANQI, HUANG, CONGMING

Journal:

Journal of Fire Sciences

Year:

2001

Language:

english

File:

PDF, 176 KB

english, 2001

18

Thermal-Driven Fluorite–Pyrochlore–Fluorite Phase Transitions of Gd2Zr2O7 Ceramics Probed in Large Range of Sintering Temperature

Zhou, Li, Huang, Zhangyi, Qi, Jianqi, Feng, Zhao, Wu, Dengxue, Zhang, Wei, Yu, Xiaohe, Guan, Yongbing, Chen, Xingtao, Xie, Landong, Sun, Kai, Lu, Tiecheng

Journal:

Metallurgical and Materials Transactions A

Year:

2015

Language:

english

File:

PDF, 1.64 MB

english, 2015

19

GPU-Based Parallel Design of the Hyperspectral Signal Subspace Identification by Minimum Error (HySime)

Wu, Xin, Huang, Bormin, Wang, Lizhe, Zhang, Jianqi

Journal:

IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing

Year:

2016

Language:

english

File:

PDF, 1.31 MB

english, 2016

20

Game-theoretical Energy Management for Energy Internet with Big Data-based Renewable Power Forecasting

Zhou, Zhenyu, Xiong, Fei, Huang, Biyao, Xu, Chen, Jiao, Runhai, Liao, Bin, Yin, Zhongdong, Li, Jianqi

Journal:

Year:

2017

Language:

english

File:

PDF, 1.15 MB

english, 2017

21

Synthesis and densification of Gd 2 Zr 2 O 7 nanograin ceramics prepared by field assisted sintering technique

Huang, Zhangyi, Cao, Zhangkai, Shi, Ke, Qi, Jianqi, Zhou, Mao, Tang, Zhe, Han, Wei, Diao, Xinyue, Tang, Jun, Lu, Tiecheng

Journal:

Journal of Nuclear Materials

Year:

2017

Language:

english

File:

PDF, 4.99 MB

english, 2017

22

Liquefaction of loess landslides as a consequence of irrigation

Peng, Jianbing, Zhuang, Jianqi, Wang, Gonghui, Dai, Fuchu, Zhang, Fanyu, Huang, Weiliang, Xu, Qiang

Journal:

Quarterly Journal of Engineering Geology & Hydrogeology

Year:

2018

Language:

english

File:

PDF, 3.58 MB

english, 2018

23

Talbot effect on orbital angular momentum beams: azimuthal intensity repetition-rate multiplication

Hu, Jianqi, Brès, Camille-Sophie, Huang, Chen-Bin

Journal:

Year:

2018

Language:

english

File:

PDF, 1.82 MB

english, 2018

24

An optimal solution for software testing case generation based on particle swarm optimization

Jianqi, Shi, Yanhong, Huang, Ang, Li, Fangda, Cai

Journal:

Language:

english

File:

PDF, 453 KB

english

25

Optimization of the Amount and Molecular Weight of Dispersing Agent PEG During the Co-Precipitation Preparation of Nano-Crystalline C-YSZ Powder

Feng, Zhao, Qi, Jianqi, Huang, Zhangyi, Xie, Xiumin, Wei, Nian, Lu, Tiecheng

Journal:

Journal of Nanoscience and Nanotechnology

Year:

2017

Language:

english

File:

PDF, 4.14 MB

english, 2017

26

Planetary Ball‐milling of Al ON Powder for Highly Transparent Ceramics

Feng, Zhao, Qi, Jianqi, Huang, Xu, Guo, Xiaofeng, Yu, Yin, Cao, Xiuxia, Wang, Yuezhong, Wu, Di, Meng, Chuanmin, Lu, Tiecheng

Journal:

Journal of the American Ceramic Society

Year:

2018

Language:

english

File:

PDF, 2.46 MB

english, 2018

27

[IEEE 2018 37th Chinese Control Conference (CCC) - Wuhan, China (2018.7.25-2018.7.27)] 2018 37th Chinese Control Conference (CCC) - Further Result on the Stability Analysis of Time-Delay System Based on a Novel Inequality

Huang, Yibo, An, Jianqi, He, Yong

Year:

2018

Language:

english

File:

PDF, 256 KB

english, 2018

28

Parked Vehicle Edge Computing: Exploiting Opportunistic Resources for Distributed Mobile Applications

Huang, Xumin, Yu, Rong, Liu, Jianqi, Shu, Lei

Journal:

Year:

2018

Language:

english

File:

PDF, 356 KB

english, 2018

29

KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification

Huang, Yanhong, Bu, Xiangxing, Zhu, Gang, Ye, Xin, Zhu, Xiaoran, Shi, Jianqi

Journal:

Year:

2019

File:

PDF, 6 KB

2019

30

A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-time Calculus

Zhang, Peng, Liu, Yu, Shi, Jianqi, Shi, Jianqi, Huang, Yanhong, Huang, Yanhong, Zhao, Yongxin

Journal:

Year:

2019

Language:

english

File:

PDF, 1.63 MB

english, 2019

31

Fast fabrication of high quality Li2TiO3–Li4SiO4 biphasic ceramic pebbles by microwave sintering: In comparison with conventional sintering

Zeng, Yuanyuan, Chen, Ruichong, Yang, Mao, Wang, Hailiang, Guo, Hao, Shi, Yanli, Huang, Zhangyi, Qi, Jianqi, Shi, Qiwu, Lu, Tiecheng

Journal:

Ceramics International

Year:

2019

Language:

english

File:

PDF, 1.74 MB

english, 2019

32

A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-time Calculus

Zhang, Peng, Liu, Yu, Shi, Jianqi, Shi, Jianqi, Huang, Yanhong, Huang, Yanhong, Zhao, Yongxin

Journal:

Year:

2019

File:

PDF, 1.63 MB

2019

33

Fast fabrication of high quality Li2TiO3–Li4SiO4 biphasic ceramic pebbles by microwave sintering: In comparison with conventional sintering

Zeng, Yuanyuan, Chen, Ruichong, Yang, Mao, Wang, Hailiang, Guo, Hao, Shi, Yanli, Huang, Zhangyi, Qi, Jianqi, Shi, Qiwu, Lu, Tiecheng

Journal:

Ceramics International

Year:

2019

File:

PDF, 1.74 MB

2019

34

A new methodology to obtain the fracture toughness of YAG transparent ceramics

Wang, Haomin, Huang, Zhangyi, Qi, Jianqi, Wang, Jun

Journal:

Journal of Advanced Ceramics

Year:

2019

Language:

english

File:

PDF, 1.08 MB

english, 2019

35

A Decomposition-Based Development Method for Industrial Control Systems

Xiong, Jiawen, Li, Ju, Shi, Jianqi, Huang, Yanhong

Journal:

Year:

2019

Language:

english

File:

PDF, 54 KB

english, 2019

36

[IEEE 2019 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC) - Munich, Germany (2019.6.23-2019.6.27)] 2019 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC) - Versatile Amplitude and Phase Filtering in an Optical Tapped Delay Line Structure

Hu, Jianqi, Fabbri, Simon J., Huang, Chen-Bin, Bres, Camille-Sophie

Year:

2019

Language:

english

File:

PDF, 291 KB

english, 2019

37

Materials Corrosion and Protection || 3. Electrochemical corrosion kinetics

Huang, Yongchang, Zhang, Jianqi

Year:

2018

Language:

english

File:

PDF, 959 KB

english, 2018

38

[IEEE 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Guilin, China (2019.7.29-2019.7.31)] 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution

Hao, Li, Shi, Jianqi, Su, Ting, Huang, Yanhong

Year:

2019

File:

PDF, 236 KB

2019

39

Materials Corrosion and Protection || 5. Uniform corrosion and passivation in metallic materials

Huang, Yongchang, Zhang, Jianqi

Year:

2018

File:

PDF, 797 KB

2018

40

Materials Corrosion and Protection || 1. Introduction

Huang, Yongchang, Zhang, Jianqi

Year:

2018

Language:

english

File:

PDF, 263 KB

english, 2018

41

Formal Analysis and Verification of Airborne Software Based on DO-333

Cao, Zongyu, Lv, Wanyou, Huang, Yanhong, Shi, Jianqi, Li, Qin

Journal:

Year:

2020

Language:

english

File:

PDF, 3.89 MB

english, 2020

42

Fast low-temperature densification of translucent bulk nanograin Gd2Zr2O7 ceramics with average grain size below 10Â nm

Huang, Zhangyi, Deng, Jirui, Wang, Haomin, Zhang, Yutong, Duan, Junjing, Tang, Zhe, Cao, Zhangkai, Qi, Jianqi, He, Duanwei, Lu, Tiecheng

Journal:

Journal of Alloys and Compounds

Year:

2020

File:

PDF, 4.41 MB

2020

43

[IEEE 2012 17th International Conference on Engineering of Complex Computer Systems (ICECCS) - Paris (2012.7.18-2012.7.20)] 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems - ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System

Shi, Jianqi, He, Jifeng, Zhu, Huibiao, Fang, Huixing, Huang, Yanhong, Zhang, Xiaoxian

Year:

2012

Language:

english

File:

PDF, 1.57 MB

english, 2012

44

An ultrafast and high accuracy calculation method for gas radiation characteristics using artificial neural network

Cui, Juntao, Zhang, Jianqi, Dong, Cunquan, Liu, Delian, Huang, Xi

Journal:

Infrared Physics & Technology

Year:

2020

File:

PDF, 2.09 MB

2020

45

SLIR: Synthesis, Localization, Inpainting, and Registration for Image-Guided Thermal Ablation of Liver Tumors

Wei, Dongming, Ahmad, Sahar, Huo, Jiayu, Huang, Pu, Yap, Pew-Thian, Xue, Zhong, Sun, Jianqi, Li, Wentao, Shen, Dinggang, Wang, Qian

Journal:

Medical Image Analysis

Year:

2020

File:

PDF, 7.62 MB

2020

46

Characteristics of microbial denitrification under different aeration intensities: Performance, mechanism, and co-occurrence network

Yuan, Haiguang, Huang, Shaobin, Yuan, Jianqi, You, Yingying, Zhang, Yongqing

Journal:

Science of The Total Environment

Year:

2021

File:

PDF, 2.88 MB

2021

47

Application of a new bioresorbable film to guided bone regeneration in tibia defect model of the rabbits

Hong He, Jianqi Huang, Guanfu Chen, Yan Dong

Journal:

Journal of Biomedical Materials Research Part A

Year:

2007

Language:

english

File:

PDF, 290 KB

english, 2007

48

Nonpolar a-plane GaN films grown on γ-LiAlO2 (3 0 2) substrates by low-pressure MOCVD

Tingting Jia, Shengming Zhou, Hao Teng, Hui Lin, Xiaorui Hou, Yukun Li, Wenjie Li, Jun Wang, Jianqi Liu, Jun Huang, Kai Huang, Min Zhang, Jianfeng Wang, Ke Xu

Journal:

Journal of Crystal Growth

Year:

2011

Language:

english

File:

PDF, 1.36 MB

english, 2011

49

Mechanistic study on flame retardance of polycarbonate with a small amount of potassium perfluorobutane sulfonate by TGA–FTIR/XPS

Xianbo Huang, Xiaoyue Ouyang, Fanglin Ning, Jianqi Wang

Journal:

Polymer Degradation and Stability

Year:

2006

Language:

english

File:

PDF, 599 KB

english, 2006

50

Studies on the migration in PA6-OMMT nanocomposites: effect of annealing on migration as evidenced by ARXPS (angle resolved X-ray photoelectron spectroscopy)

Nianhua Huang, Menachem Lewin, Yong Tang, Chou Fan, Jianqi Wang

Journal:

Polymers for Advanced Technologies

Year:

2008

Language:

english

File:

PDF, 331 KB

english, 2008

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски